A software tool for 3D dose verification and analysis
نویسندگان
چکیده
منابع مشابه
CPAchecker: A Tool for Configurable Software Verification
Configurable software verification is a recent concept for expressing different program analysis and model checking approaches in one single formalism. This paper presents CPAchecker, a tool and framework that aims at easy integration of new verification components. Every abstract domain, together with the corresponding operations, implements the interface of configurable program analysis (CPA)...
متن کاملA Software Component Verification Tool
Component-Based Software Engineering depends on reliable, robust components, since it may omit a unit test phase wholly or partially from the development cycle. This paper describes a tool that allows a component developer to design and run verification tests. In developing components for our library, we found it necessary to provide multiple mechanisms for identifying and capturing tests to ov...
متن کاملA New Restructured Shaded Pole Induction Motor- 3D Finite Element Analysis and Experimental Verification
Shaded pole induction motors, despite the simplicity and low cost, are difficult to analyze particularly in the equivalent circuit methods, due to the asymmetric structure, saturation, harmonics, inaccurate estimation of leakage inductances and skew. Hence, 3D numerical methods could be very useful in the design and optimization stage. This paper presents the 3D transient finite element analysi...
متن کاملProgram Specialization via a Software Verification Tool
Partial evaluation is a program specialization technique that allows to optimize a program for which partial input is known. We propose a new approach to generate specialized programs for a Java-like language via the software verification tool KeY. This is achieved by symbolically executing source programs interleaved with calls to a simple partial evaluator. In a second phase the specialized p...
متن کاملCoho: A Verification Tool for Circuit Verification by Reachability Analysis
Coho is a verification tool for systems modeled by nonlinear ordinary differential equations (ODEs). Verification is performed using reachability analysis. The reachable space is represented by projectagons which are the polyhedron described by their projection onto two dimensional subspace. Coho approximates nonlinear ODEs with linear differential inclusions to compute the reachable state. We ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Physics: Conference Series
سال: 2013
ISSN: 1742-6596
DOI: 10.1088/1742-6596/444/1/012087